$\forall$$a$,$b$:Knd. decidable(($a$ = $b$))